Optimal. Leaf size=112 \[ -\frac {(b d-a e)^2 p x}{3 b^2}-\frac {(b d-a e) p (d+e x)^2}{6 b e}-\frac {p (d+e x)^3}{9 e}-\frac {(b d-a e)^3 p \log (a+b x)}{3 b^3 e}+\frac {(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 112, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {2442, 45}
\begin {gather*} -\frac {p (b d-a e)^3 \log (a+b x)}{3 b^3 e}-\frac {p x (b d-a e)^2}{3 b^2}+\frac {(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac {p (d+e x)^2 (b d-a e)}{6 b e}-\frac {p (d+e x)^3}{9 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 2442
Rubi steps
\begin {align*} \int (d+e x)^2 \log \left (c (a+b x)^p\right ) \, dx &=\frac {(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac {(b p) \int \frac {(d+e x)^3}{a+b x} \, dx}{3 e}\\ &=\frac {(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac {(b p) \int \left (\frac {e (b d-a e)^2}{b^3}+\frac {(b d-a e)^3}{b^3 (a+b x)}+\frac {e (b d-a e) (d+e x)}{b^2}+\frac {e (d+e x)^2}{b}\right ) \, dx}{3 e}\\ &=-\frac {(b d-a e)^2 p x}{3 b^2}-\frac {(b d-a e) p (d+e x)^2}{6 b e}-\frac {p (d+e x)^3}{9 e}-\frac {(b d-a e)^3 p \log (a+b x)}{3 b^3 e}+\frac {(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 121, normalized size = 1.08 \begin {gather*} \frac {6 a^2 e (-3 b d+a e) p \log (a+b x)+b \left (-p x \left (6 a^2 e^2-3 a b e (6 d+e x)+b^2 \left (18 d^2+9 d e x+2 e^2 x^2\right )\right )+6 b \left (3 a d^2+b x \left (3 d^2+3 d e x+e^2 x^2\right )\right ) \log \left (c (a+b x)^p\right )\right )}{18 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.56, size = 537, normalized size = 4.79
method | result | size |
risch | \(-\frac {i e^{2} \pi \,x^{3} \mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \right )}{6}+\ln \left (c \right ) d^{2} x +\frac {i \pi \,d^{2} x \,\mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2}}{2}+\frac {i \pi \,d^{2} x \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right )}{2}-\frac {d e p \,x^{2}}{2}+\frac {d^{2} p a \ln \left (b x +a \right )}{b}+\frac {e a d p x}{b}-\frac {e \ln \left (b x +a \right ) a^{2} d p}{b^{2}}+\frac {\left (e x +d \right )^{3} \ln \left (\left (b x +a \right )^{p}\right )}{3 e}+e \ln \left (c \right ) d \,x^{2}-\frac {\ln \left (b x +a \right ) d^{3} p}{3 e}+\frac {e^{2} \ln \left (c \right ) x^{3}}{3}-\frac {e^{2} p \,x^{3}}{9}-d^{2} p x +\frac {i e \pi d \,x^{2} \mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2}}{2}+\frac {i e \pi d \,x^{2} \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right )}{2}-\frac {i \pi \,d^{2} x \,\mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \right )}{2}+\frac {i e^{2} \pi \,x^{3} \mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2}}{6}+\frac {i e^{2} \pi \,x^{3} \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right )}{6}-\frac {i e \pi d \,x^{2} \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{3}}{2}-\frac {i e \pi d \,x^{2} \mathrm {csgn}\left (i \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right ) \mathrm {csgn}\left (i c \right )}{2}-\frac {i e^{2} \pi \,x^{3} \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{3}}{6}+\frac {e^{2} a p \,x^{2}}{6 b}-\frac {e^{2} a^{2} p x}{3 b^{2}}+\frac {e^{2} \ln \left (b x +a \right ) a^{3} p}{3 b^{3}}-\frac {i \pi \,d^{2} x \mathrm {csgn}\left (i c \left (b x +a \right )^{p}\right )^{3}}{2}\) | \(537\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 135, normalized size = 1.21 \begin {gather*} -\frac {1}{18} \, b p {\left (\frac {2 \, b^{2} x^{3} e^{2} + 3 \, {\left (3 \, b^{2} d e - a b e^{2}\right )} x^{2} + 6 \, {\left (3 \, b^{2} d^{2} - 3 \, a b d e + a^{2} e^{2}\right )} x}{b^{3}} - \frac {6 \, {\left (3 \, a b^{2} d^{2} - 3 \, a^{2} b d e + a^{3} e^{2}\right )} \log \left (b x + a\right )}{b^{4}}\right )} + \frac {1}{3} \, {\left (x^{3} e^{2} + 3 \, d x^{2} e + 3 \, d^{2} x\right )} \log \left ({\left (b x + a\right )}^{p} c\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 172, normalized size = 1.54 \begin {gather*} -\frac {18 \, b^{3} d^{2} p x + {\left (2 \, b^{3} p x^{3} - 3 \, a b^{2} p x^{2} + 6 \, a^{2} b p x\right )} e^{2} + 9 \, {\left (b^{3} d p x^{2} - 2 \, a b^{2} d p x\right )} e - 6 \, {\left (3 \, b^{3} d^{2} p x + 3 \, a b^{2} d^{2} p + {\left (b^{3} p x^{3} + a^{3} p\right )} e^{2} + 3 \, {\left (b^{3} d p x^{2} - a^{2} b d p\right )} e\right )} \log \left (b x + a\right ) - 6 \, {\left (b^{3} x^{3} e^{2} + 3 \, b^{3} d x^{2} e + 3 \, b^{3} d^{2} x\right )} \log \left (c\right )}{18 \, b^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 202 vs.
\(2 (94) = 188\).
time = 0.55, size = 202, normalized size = 1.80 \begin {gather*} \begin {cases} \frac {a^{3} e^{2} \log {\left (c \left (a + b x\right )^{p} \right )}}{3 b^{3}} - \frac {a^{2} d e \log {\left (c \left (a + b x\right )^{p} \right )}}{b^{2}} - \frac {a^{2} e^{2} p x}{3 b^{2}} + \frac {a d^{2} \log {\left (c \left (a + b x\right )^{p} \right )}}{b} + \frac {a d e p x}{b} + \frac {a e^{2} p x^{2}}{6 b} - d^{2} p x + d^{2} x \log {\left (c \left (a + b x\right )^{p} \right )} - \frac {d e p x^{2}}{2} + d e x^{2} \log {\left (c \left (a + b x\right )^{p} \right )} - \frac {e^{2} p x^{3}}{9} + \frac {e^{2} x^{3} \log {\left (c \left (a + b x\right )^{p} \right )}}{3} & \text {for}\: b \neq 0 \\\left (d^{2} x + d e x^{2} + \frac {e^{2} x^{3}}{3}\right ) \log {\left (a^{p} c \right )} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 313 vs.
\(2 (104) = 208\).
time = 6.92, size = 313, normalized size = 2.79 \begin {gather*} \frac {{\left (b x + a\right )} d^{2} p \log \left (b x + a\right )}{b} + \frac {{\left (b x + a\right )}^{2} d p e \log \left (b x + a\right )}{b^{2}} - \frac {2 \, {\left (b x + a\right )} a d p e \log \left (b x + a\right )}{b^{2}} - \frac {{\left (b x + a\right )} d^{2} p}{b} - \frac {{\left (b x + a\right )}^{2} d p e}{2 \, b^{2}} + \frac {2 \, {\left (b x + a\right )} a d p e}{b^{2}} + \frac {{\left (b x + a\right )}^{3} p e^{2} \log \left (b x + a\right )}{3 \, b^{3}} - \frac {{\left (b x + a\right )}^{2} a p e^{2} \log \left (b x + a\right )}{b^{3}} + \frac {{\left (b x + a\right )} a^{2} p e^{2} \log \left (b x + a\right )}{b^{3}} + \frac {{\left (b x + a\right )} d^{2} \log \left (c\right )}{b} + \frac {{\left (b x + a\right )}^{2} d e \log \left (c\right )}{b^{2}} - \frac {2 \, {\left (b x + a\right )} a d e \log \left (c\right )}{b^{2}} - \frac {{\left (b x + a\right )}^{3} p e^{2}}{9 \, b^{3}} + \frac {{\left (b x + a\right )}^{2} a p e^{2}}{2 \, b^{3}} - \frac {{\left (b x + a\right )} a^{2} p e^{2}}{b^{3}} + \frac {{\left (b x + a\right )}^{3} e^{2} \log \left (c\right )}{3 \, b^{3}} - \frac {{\left (b x + a\right )}^{2} a e^{2} \log \left (c\right )}{b^{3}} + \frac {{\left (b x + a\right )} a^{2} e^{2} \log \left (c\right )}{b^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.27, size = 131, normalized size = 1.17 \begin {gather*} \ln \left (c\,{\left (a+b\,x\right )}^p\right )\,\left (d^2\,x+d\,e\,x^2+\frac {e^2\,x^3}{3}\right )-x^2\,\left (\frac {d\,e\,p}{2}-\frac {a\,e^2\,p}{6\,b}\right )-x\,\left (d^2\,p-\frac {a\,\left (d\,e\,p-\frac {a\,e^2\,p}{3\,b}\right )}{b}\right )-\frac {e^2\,p\,x^3}{9}+\frac {\ln \left (a+b\,x\right )\,\left (p\,a^3\,e^2-3\,p\,a^2\,b\,d\,e+3\,p\,a\,b^2\,d^2\right )}{3\,b^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________